program correctness meaning in English
程序的正确性
程序正确性
Examples
- This approach can verify program correctness approximately , or generate a set of test cases according to some coverage criterion in software testing
它可以近似地验证程序的正确性，也可以依据软件测试的标准，按某种覆盖度要求生成测试用例。